stutter{-}state($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\langle$$s$$,\,$null$,\,$nil$\rangle$